2261. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
2262. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
2263. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
2264. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
2265. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Turing, Alan Mathison,--1912-1954,Mathematics.,Logic, Symbolic and mathematical.,Enigma cipher system.,Artificial intelligence.
Classification :
QA7
,.
T772
,
2004
2266. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
2267. The evolution of Principia mathematica :
Author: Bernard Linsky
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
R883
L56
2011
2268. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
Author: Bernard Linsky
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R883L56
2269. The foundations of mathematics
Author: Stewart, Ian.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S755
1977
2270. The foundations of mathematics
Author: Stewart, Ian.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and Mathematical
Classification :
QA
9
.
S755
2271. The foundations of mathematics /
Author: Ian Stewart and David Tall
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
S755
2015
2272. The foundations of mathematics and other logical essays
Author: / Frank Plumpton Ramsey
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical
Classification :
QA
9
.
R23
1960
2273. The foundations of mathematics and other logical essays.
Author: Ramsey, Frank Plumpton
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R3
2274. The foundations of mathematics and other logical essays
Author: / by Frank Plumpton Ramsey ... Edited by R.B. Braithwaite ... with a preface by G.E. Moore ..
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical
Classification :
QA
9
.
R23
2275. The grammar of mathematic
Author: Durst, Lincoln K., ]by[ Lincoln K. Durst
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D86
2276. The grammar of mathematics
Author: / Lincoln K. Durst
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
D86
2277. The great rift :
Author: Michael E. Hobart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- History.,Mathematics, Medieval.,Numeration-- History.,Religion and science-- History.,Science, Renaissance.,Signs and symbols-- History.,02.01 history of science and culture.,15.70 history of Europe.,Mathematics, Medieval.,Mathematics.,Mathematik,Numeration.,Religion,Religion and science.,Science, Renaissance.,Signs and symbols.,Wissenschaft,Wissenschaftsentwicklung,Zahlzeichen
Classification :
BL265
.
M3
H63
2018
2278. The incomputable : journeys beyond the Turing barrier
Author: S. Barry Cooper, Mariya I. Soskova, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
63
.
I52
2279. The innovation in computing companion :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
Classification :
QA76
.
5
.
O74
2018
2280. The language of logic
Author: Freudenthal, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
F7513
